Data verification - PDFSEARCH.IO - Document Search Engine

Data verification
Results: 958

#	Item
951	LNCS[removed]Second Competition on Software Verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data management Model checking SystemC Benchmark Verilog BLAST model checker Standard Performance Evaluation Corporation Parallel computing Abstraction Electronic engineering Hardware description languages Electronic design automation
952	LNCS[removed]Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Algorithm Data-flow analysis Abstraction Predicate Type system Mathematics Linguistics Function
953	Landsat 8 The Landsat Data Continuity Mission (named Landsat 8 after on-orbit initialization and verification) launched from Vandenberg Air Force Base in Add to Reading List Source URL: pubs.usgs.gov Language: English - Date: 2013-09-16 13:54:00 Spaceflight Cartography Operational Land Imager Thematic Mapper Landsat 5 Imaging Remote sensing Multispectral image Goddard Space Flight Center Earth Landsat program Spacecraft
954	Formal Verification of Dead Code Elimination in Isabelle/HOL Jan Olaf Blech Add to Reading List Source URL: www.jblech.de Language: English - Date: 2007-11-14 03:32:18 Programming language theory Programming language implementation Compiler optimizations Static single assignment form Data-flow analysis Live variable analysis Eval Compiler Dead code elimination Computing Software engineering Compiler construction
955	GS1 Bar Code Verification Process- Implementation Guide 1 Add to Reading List Source URL: www.gs1.org Language: English - Date: 2013-01-03 07:56:55 Standards organizations Electronic commerce Information Writing GS1 Canada GS1 International Article Number Packaging and labeling Data quality Barcodes Identifiers Identification
956	PDF Document Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2001-09-03 20:28:21 Programming paradigms Abstraction Data management Object-oriented programming Actor model C++ Formal verification Assembly language Interface Software engineering Computing Computer programming
957	PDF Document Add to Reading List Source URL: guru-lang.googlecode.com Language: English - Date: 2011-04-06 12:22:59 Type theory Functional languages Logic in computer science Data types Dependent type Formal verification Functional programming Type system Haskell Software engineering Programming language theory Computing
958	PDF Document Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2008-01-04 09:06:40 Programming language implementation Computer programming Constraint programming Hardware verification languages Model-based testing Concolic testing Test Data Generation Compiler optimization Algorithm Computing Software engineering Software testing

UPDATE